From: Julien Grall <julien.grall@arm.com>
Date: Wed, 7 Dec 2016 12:33:48 +0000 (+0000)
Subject: xen/arm: vgic-v3: Build vgic-v3.c when CONFIG_HAS_GICV3 is enabled.
X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~3231
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=ec54b2d029b8581f89c08bd4b5f6a0f23912011e;p=xen.git

xen/arm: vgic-v3: Build vgic-v3.c when CONFIG_HAS_GICV3 is enabled.

The vGICv3 depends whether Xen has a host driver for GICv3, not on the
architecture (AArch64 vs AArch32).

Note CONFIG_HAS_GICV3 is enabled only when for ARM64 build, so there is
no functional change.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
---

diff --git a/xen/arch/arm/Makefile b/xen/arch/arm/Makefile
index f165178ab8..59b3b53480 100644
--- a/xen/arch/arm/Makefile
+++ b/xen/arch/arm/Makefile
@@ -43,7 +43,7 @@ obj-y += time.o
 obj-y += traps.o
 obj-y += vgic.o
 obj-y += vgic-v2.o
-obj-$(CONFIG_ARM_64) += vgic-v3.o
+obj-$(CONFIG_HAS_GICV3) += vgic-v3.o
 obj-y += vm_event.o
 obj-y += vtimer.o
 obj-y += vpsci.o